Optimal. Leaf size=211 \[ \frac{(e+f x) (f g-e h) \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2}{f^2}-\frac{b h p q (e+f x)^2 \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )}{2 f^2}+\frac{h (e+f x)^2 \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2}{2 f^2}-\frac{2 a b p q x (f g-e h)}{f}-\frac{2 b^2 p q (e+f x) (f g-e h) \log \left (c \left (d (e+f x)^p\right )^q\right )}{f^2}+\frac{b^2 h p^2 q^2 (e+f x)^2}{4 f^2}+\frac{2 b^2 p^2 q^2 x (f g-e h)}{f} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.389334, antiderivative size = 211, normalized size of antiderivative = 1., number of steps used = 10, number of rules used = 8, integrand size = 26, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.308, Rules used = {2401, 2389, 2296, 2295, 2390, 2305, 2304, 2445} \[ \frac{(e+f x) (f g-e h) \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2}{f^2}-\frac{b h p q (e+f x)^2 \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )}{2 f^2}+\frac{h (e+f x)^2 \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2}{2 f^2}-\frac{2 a b p q x (f g-e h)}{f}-\frac{2 b^2 p q (e+f x) (f g-e h) \log \left (c \left (d (e+f x)^p\right )^q\right )}{f^2}+\frac{b^2 h p^2 q^2 (e+f x)^2}{4 f^2}+\frac{2 b^2 p^2 q^2 x (f g-e h)}{f} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 2401
Rule 2389
Rule 2296
Rule 2295
Rule 2390
Rule 2305
Rule 2304
Rule 2445
Rubi steps
\begin{align*} \int (g+h x) \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2 \, dx &=\operatorname{Subst}\left (\int (g+h x) \left (a+b \log \left (c d^q (e+f x)^{p q}\right )\right )^2 \, dx,c d^q (e+f x)^{p q},c \left (d (e+f x)^p\right )^q\right )\\ &=\operatorname{Subst}\left (\int \left (\frac{(f g-e h) \left (a+b \log \left (c d^q (e+f x)^{p q}\right )\right )^2}{f}+\frac{h (e+f x) \left (a+b \log \left (c d^q (e+f x)^{p q}\right )\right )^2}{f}\right ) \, dx,c d^q (e+f x)^{p q},c \left (d (e+f x)^p\right )^q\right )\\ &=\operatorname{Subst}\left (\frac{h \int (e+f x) \left (a+b \log \left (c d^q (e+f x)^{p q}\right )\right )^2 \, dx}{f},c d^q (e+f x)^{p q},c \left (d (e+f x)^p\right )^q\right )+\operatorname{Subst}\left (\frac{(f g-e h) \int \left (a+b \log \left (c d^q (e+f x)^{p q}\right )\right )^2 \, dx}{f},c d^q (e+f x)^{p q},c \left (d (e+f x)^p\right )^q\right )\\ &=\operatorname{Subst}\left (\frac{h \operatorname{Subst}\left (\int x \left (a+b \log \left (c d^q x^{p q}\right )\right )^2 \, dx,x,e+f x\right )}{f^2},c d^q (e+f x)^{p q},c \left (d (e+f x)^p\right )^q\right )+\operatorname{Subst}\left (\frac{(f g-e h) \operatorname{Subst}\left (\int \left (a+b \log \left (c d^q x^{p q}\right )\right )^2 \, dx,x,e+f x\right )}{f^2},c d^q (e+f x)^{p q},c \left (d (e+f x)^p\right )^q\right )\\ &=\frac{(f g-e h) (e+f x) \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2}{f^2}+\frac{h (e+f x)^2 \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2}{2 f^2}-\operatorname{Subst}\left (\frac{(b h p q) \operatorname{Subst}\left (\int x \left (a+b \log \left (c d^q x^{p q}\right )\right ) \, dx,x,e+f x\right )}{f^2},c d^q (e+f x)^{p q},c \left (d (e+f x)^p\right )^q\right )-\operatorname{Subst}\left (\frac{(2 b (f g-e h) p q) \operatorname{Subst}\left (\int \left (a+b \log \left (c d^q x^{p q}\right )\right ) \, dx,x,e+f x\right )}{f^2},c d^q (e+f x)^{p q},c \left (d (e+f x)^p\right )^q\right )\\ &=-\frac{2 a b (f g-e h) p q x}{f}+\frac{b^2 h p^2 q^2 (e+f x)^2}{4 f^2}-\frac{b h p q (e+f x)^2 \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )}{2 f^2}+\frac{(f g-e h) (e+f x) \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2}{f^2}+\frac{h (e+f x)^2 \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2}{2 f^2}-\operatorname{Subst}\left (\frac{\left (2 b^2 (f g-e h) p q\right ) \operatorname{Subst}\left (\int \log \left (c d^q x^{p q}\right ) \, dx,x,e+f x\right )}{f^2},c d^q (e+f x)^{p q},c \left (d (e+f x)^p\right )^q\right )\\ &=-\frac{2 a b (f g-e h) p q x}{f}+\frac{2 b^2 (f g-e h) p^2 q^2 x}{f}+\frac{b^2 h p^2 q^2 (e+f x)^2}{4 f^2}-\frac{2 b^2 (f g-e h) p q (e+f x) \log \left (c \left (d (e+f x)^p\right )^q\right )}{f^2}-\frac{b h p q (e+f x)^2 \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )}{2 f^2}+\frac{(f g-e h) (e+f x) \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2}{f^2}+\frac{h (e+f x)^2 \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2}{2 f^2}\\ \end{align*}
Mathematica [A] time = 0.0880622, size = 164, normalized size = 0.78 \[ \frac{4 (e+f x) (f g-e h) \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2-8 b p q (f g-e h) \left (f x (a-b p q)+b (e+f x) \log \left (c \left (d (e+f x)^p\right )^q\right )\right )+2 h (e+f x)^2 \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )^2+b h p q \left (b f p q x (2 e+f x)-2 (e+f x)^2 \left (a+b \log \left (c \left (d (e+f x)^p\right )^q\right )\right )\right )}{4 f^2} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F] time = 0.285, size = 0, normalized size = 0. \begin{align*} \int \left ( hx+g \right ) \left ( a+b\ln \left ( c \left ( d \left ( fx+e \right ) ^{p} \right ) ^{q} \right ) \right ) ^{2}\, dx \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A] time = 1.16868, size = 470, normalized size = 2.23 \begin{align*} -2 \, a b f g p q{\left (\frac{x}{f} - \frac{e \log \left (f x + e\right )}{f^{2}}\right )} - \frac{1}{2} \, a b f h p q{\left (\frac{2 \, e^{2} \log \left (f x + e\right )}{f^{3}} + \frac{f x^{2} - 2 \, e x}{f^{2}}\right )} + \frac{1}{2} \, b^{2} h x^{2} \log \left (\left ({\left (f x + e\right )}^{p} d\right )^{q} c\right )^{2} + a b h x^{2} \log \left (\left ({\left (f x + e\right )}^{p} d\right )^{q} c\right ) + b^{2} g x \log \left (\left ({\left (f x + e\right )}^{p} d\right )^{q} c\right )^{2} + \frac{1}{2} \, a^{2} h x^{2} + 2 \, a b g x \log \left (\left ({\left (f x + e\right )}^{p} d\right )^{q} c\right ) -{\left (2 \, f p q{\left (\frac{x}{f} - \frac{e \log \left (f x + e\right )}{f^{2}}\right )} \log \left (\left ({\left (f x + e\right )}^{p} d\right )^{q} c\right ) + \frac{{\left (e \log \left (f x + e\right )^{2} - 2 \, f x + 2 \, e \log \left (f x + e\right )\right )} p^{2} q^{2}}{f}\right )} b^{2} g - \frac{1}{4} \,{\left (2 \, f p q{\left (\frac{2 \, e^{2} \log \left (f x + e\right )}{f^{3}} + \frac{f x^{2} - 2 \, e x}{f^{2}}\right )} \log \left (\left ({\left (f x + e\right )}^{p} d\right )^{q} c\right ) - \frac{{\left (f^{2} x^{2} + 2 \, e^{2} \log \left (f x + e\right )^{2} - 6 \, e f x + 6 \, e^{2} \log \left (f x + e\right )\right )} p^{2} q^{2}}{f^{2}}\right )} b^{2} h + a^{2} g x \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] time = 2.1887, size = 1320, normalized size = 6.26 \begin{align*} \frac{{\left (b^{2} f^{2} h p^{2} q^{2} - 2 \, a b f^{2} h p q + 2 \, a^{2} f^{2} h\right )} x^{2} + 2 \,{\left (b^{2} f^{2} h p^{2} q^{2} x^{2} + 2 \, b^{2} f^{2} g p^{2} q^{2} x +{\left (2 \, b^{2} e f g - b^{2} e^{2} h\right )} p^{2} q^{2}\right )} \log \left (f x + e\right )^{2} + 2 \,{\left (b^{2} f^{2} h x^{2} + 2 \, b^{2} f^{2} g x\right )} \log \left (c\right )^{2} + 2 \,{\left (b^{2} f^{2} h q^{2} x^{2} + 2 \, b^{2} f^{2} g q^{2} x\right )} \log \left (d\right )^{2} + 2 \,{\left (2 \, a^{2} f^{2} g +{\left (4 \, b^{2} f^{2} g - 3 \, b^{2} e f h\right )} p^{2} q^{2} - 2 \,{\left (2 \, a b f^{2} g - a b e f h\right )} p q\right )} x - 2 \,{\left ({\left (4 \, b^{2} e f g - 3 \, b^{2} e^{2} h\right )} p^{2} q^{2} - 2 \,{\left (2 \, a b e f g - a b e^{2} h\right )} p q +{\left (b^{2} f^{2} h p^{2} q^{2} - 2 \, a b f^{2} h p q\right )} x^{2} - 2 \,{\left (2 \, a b f^{2} g p q -{\left (2 \, b^{2} f^{2} g - b^{2} e f h\right )} p^{2} q^{2}\right )} x - 2 \,{\left (b^{2} f^{2} h p q x^{2} + 2 \, b^{2} f^{2} g p q x +{\left (2 \, b^{2} e f g - b^{2} e^{2} h\right )} p q\right )} \log \left (c\right ) - 2 \,{\left (b^{2} f^{2} h p q^{2} x^{2} + 2 \, b^{2} f^{2} g p q^{2} x +{\left (2 \, b^{2} e f g - b^{2} e^{2} h\right )} p q^{2}\right )} \log \left (d\right )\right )} \log \left (f x + e\right ) - 2 \,{\left ({\left (b^{2} f^{2} h p q - 2 \, a b f^{2} h\right )} x^{2} - 2 \,{\left (2 \, a b f^{2} g -{\left (2 \, b^{2} f^{2} g - b^{2} e f h\right )} p q\right )} x\right )} \log \left (c\right ) - 2 \,{\left ({\left (b^{2} f^{2} h p q^{2} - 2 \, a b f^{2} h q\right )} x^{2} - 2 \,{\left (2 \, a b f^{2} g q -{\left (2 \, b^{2} f^{2} g - b^{2} e f h\right )} p q^{2}\right )} x - 2 \,{\left (b^{2} f^{2} h q x^{2} + 2 \, b^{2} f^{2} g q x\right )} \log \left (c\right )\right )} \log \left (d\right )}{4 \, f^{2}} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [A] time = 11.3038, size = 879, normalized size = 4.17 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] time = 1.29273, size = 1369, normalized size = 6.49 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]